There is an extensive literature on time travel in both philosophy and physics. Part of the great interest of the topic stems from the fact that reasons have been given both for thinking that time travel is physically possible—and for thinking that it is logically impossible! This entry deals primarily with philosophical issues; issues related to the physics of time travel are covered in the separate entries on time travel and modern physics and time machines. We begin with the definitional (...) question: what is time travel? We then turn to the major objection to the possibility of backwards time travel: the Grandfather paradox. Next, issues concerning causation are discussed—and then, issues in the metaphysics of time and change. We end with a discussion of the question why, if backwards time travel will ever occur, we have not been visited by time travellers from the future. (shrink)

In VAGUENESS AND DEGREES OF TRUTH, Nicholas Smith develops a new theory of vagueness: fuzzy plurivaluationism. -/- A predicate is said to be VAGUE if there is no sharply defined boundary between the things to which it applies and the things to which it does not apply. For example, 'heavy' is vague in a way that 'weighs over 20 kilograms' is not. A great many predicates -- both in everyday talk, and in a wide array of theoretical vocabularies, from (...) law to psychology to engineering -- are vague. -/- Smith argues, based on a detailed account of the defining features of vagueness, that an accurate theory of vagueness must involve the idea that truth comes in degrees. The core idea of degrees of truth is that while some sentences are true and some are false, others possess intermediate truth values: they are truer than the false sentences, but not as true as the true ones. Degree-theoretic treatments of vagueness have been proposed in the past, but all have encountered significant objections. In light of these, Smith develops a new type of degree theory. Its innovations include a definition of logical consequence that allows the derivation of a classical consequence relation from the degree-theoretic semantics, a unified account of degrees of belief and their relationships with degrees of truth and subjective probabilities, and the incorporation of semantic indeterminacy -- the view that vague statements need not have unique meanings -- into the degree-theoretic framework. -/- As well as being essential reading for those working on vagueness, Smith's book provides an excellent entry-point for newcomers to the area -- both from elsewhere in philosophy, and from computer science, logic and engineering. It contains a thorough introduction to existing theories of vagueness and to the requisite logical background. (shrink)

This paper defends the idea that there might be vagueness or indeterminacy in the world itself---as opposed to merely in our representations of the world---against the charges of incoherence and unintelligibility. First we consider the idea that the world might contain vague *properties and relations*; we show that this idea is already implied by certain well-understood views concerning the semantics of vague predicates (most notably the fuzzy view). Next we consider the idea that the world might contain vague *objects*; we (...) argue that an object is indeterminate in a certain respect (colour, size, etc.) just in case it is a borderline case of a maximally specific colour (size, etc.) property. Finally we consider the idea that the *world as a whole* might be indeterminate; we argue that the world is indeterminate just in case it lacks a determinate division into determinate objects. (shrink)

This paper defends the idea that there might be vagueness or indeterminacy in the world itself---as opposed to merely in our representations of the world---against the charges of incoherence and unintelligibility. First we consider the idea that the world might contain vague *properties and relations*; we show that this idea is already implied by certain well-understood views concerning the semantics of vague predicates (most notably the fuzzy view). Next we consider the idea that the world might contain vague *objects*; we (...) argue that an object is indeterminate in a certain respect (colour, size, etc.) just in case it is a borderline case of a maximally specific colour (size, etc.) property. Finally we consider the idea that the *world as a whole* might be indeterminate; we argue that the world is indeterminate just in case it lacks a determinate division into determinate objects. (shrink)

This paper presents a new solution to the problems for orthodox decision theory posed by the Pasadena game and its relatives. I argue that a key question raised by consideration of these gambles is whether evaluative compositionality (as I term it) is a requirement of rationality: is the value that an ideally rational agent places on a gamble determined by the values that she places on its possible outcomes, together with their mode of composition into the gamble (i.e. the probabilities (...) assigned to them)? The paper first outlines a certain simple response to the Pasadena game and identifies two problems with this response, the second of which is that it leads to a wholesale violation of evaluative compositionality. I then argue that rationality does not require decision makers to factor in outcomes of arbitrarily low probability. A method for making decisions which flows from this basic idea is then developed, and it is shown that this decision method (Truncation) leads to a limited — as opposed to wholesale — violation of evaluative compositionality. The paper then argues that the truncation method yields solutions to the problems posed by the Pasadena game and its relatives that are both attractive in themselves and superior to those yielded by alternative proposals in the literature. (shrink)

Postmodernism and poststructuralism challenge fundamental positions in social theory. This book sets out some of the components of a postmodern social theory of health and healing, deriving from theorists including Derrida, Deleuze and Guattari, Foucault, Cixous and Kristeva. Nicholas J. Fox observes that the knowledge of the medical profession about the body, illness and health supplies the basis for medical dominance. The body of the patient is inscribed by discourses of professional `care,' an interaction which subjectifies the patient. Fox (...) explores the character of this power - and how it may be, and is, resisted. The book illustrates with detailed examples how the organization of health care and the caring relationship itself are sites for this contestation of power. Elements of feminist theory, and Derridean concepts of diffrance and intertextuality, supply the framework for the politics and ethics of the postmodern position on health. Deleuze and Guattari's radical challenge to psychoanalysis and familial repetitions within the healer/patient contact allows a re-reading of central ideas in medical sociology. While focusing upon the possibilities of postmodern social theory, the book demands a reappraisal of issues of structure, identity and knowledge in modernist medical sociology. Modernist sociology, Fox suggests, has been complicit in the creation of `the patient,' and of 'health' and 'illness.' Written with an emphasis on accessibility, this book explores the practical consequences of postmodern theory as well as familiarizing the reader with the concepts of postmodernism. (shrink)

Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an exceptionally clear introduction to classical logic, with a unique approach that emphasizes both the hows and whys of logic. Here Nicholas Smith thoroughly covers the formal tools and techniques of logic while also imparting a deeper understanding of their underlying rationales and broader philosophical significance. In addition, this is the only introduction to logic available today that (...) presents all the major forms of proof--trees, natural deduction in all its major variants, axiomatic proofs, and sequent calculus. The book also features numerous exercises, with solutions available on an accompanying website. -/- Logic is the ideal textbook for undergraduates and graduate students seeking a comprehensive and accessible introduction to the subject. -/- Provides an essential introduction to classical logic Emphasizes the how and why of logic Covers both formal and philosophical issues Presents all the major forms of proof--from trees to sequent calculus Features numerous exercises, with solutions available online The ideal textbook for undergraduates and graduate students . (shrink)

This paper presents a new argument against A-theories of time. A-theorists hold that there is an objective now (present moment) and an objective flow of time, the latter constituted by the movement of the objective now through time. A-theorists therefore want to draw different pictures of reality—showing the objective now in different positions—depending upon the time at which the picture is drawn. In this paper it is argued that the times at which the different pictures are drawn may be taken (...) to be normal times or hypertimes. If they are normal times then the A-theory is inconsistent, or else collapses to the B-theory—and appealing to primitive tense operators will not help A-theorists avoid this conclusion. If the times are hypertimes then the A-theory is consistent, but deeply problematic none the less. (shrink)

This paper argues that the most famous objection to backward time travel can carry no weight. In its classic form, the objection is that backward time travel entails the occurrence of impossible things, such as auto-infanticide—and hence is itself impossible. David Lewis has rebutted the classic version of the objection: auto-infanticide is prevented by coincidences, such as time travellers slipping on banana peels as they attempt to murder their younger selves. I focus on Paul Horwich‘s more recent version of the (...) objection, according to which backward time travel entails not impossible things, but improbable ones—such as the string of slips on banana peels that would be required to stop a determined auto-infanticidal maniac from murdering her younger self—and hence is itself highly improbable. I argue that backward time travel does not entail unusual numbers of coincidences; and that, even if it did, that would not render its occurrence unlikely. (shrink)

In this paper I present a new argument against vague identity — one that is more fundamental than existing arguments — and I also try to explain why we find the idea of vague identity puzzling, in a way that will dispel the puzzlement. In brief, my argument is this: to make clear sense of something, one must at least model it set-theoretically; but due to the special place of identity in set-theoretic models, any vague relation that one does model (...) set-theoretically will not be identity, for real identity will already be there, built into the background of the model, and perfectly precise. (shrink)

In this paper, I discuss one form of the idea that spacetime and gravity might ‘emerge’ from quantum theory, i.e. via a holographic duality, and in particular via AdS/CFT duality. I begin by giving a survey of the general notion of duality, as well as its connection to emergence. I then review the AdS/CFT duality and proceed to discuss emergence in this context. We will see that it is difficult to find compelling arguments for the emergence of full quantum gravity (...) from gauge theory via AdS/CFT, i.e. for the boundary theory's being metaphysically more fundamental than the bulk theory. (shrink)

This article investigates and resolves the question whether gauge symmetry can display analogs of the famous Galileo’s ship scenario. In doing so, it builds on and clarifies the work of Greaves and Wallace on this subject.

Three characters with different skills and outlooks explore the idea of education, exploring what true education is, challenging common conceptions and putting forward rich definitions of education and what it ideally would be.

Is it always better to be active than passive? Is passivity a sign of cowardice - or prudence? Are people who keep their thoughts to themselves passive, or might they be actively preparing for well-considered future actions? Seemingly simple concepts turn out to be deeper and more significant than they first appear.

The "justice of markets" is intricately connected to the treatment of the poor and the disadvantaged in market economies. The increased interest of multinational corporations in low-income market segments affords, on one hand, the opportunity for a more inclusive capitalism, and on the other, the threat of greater exploitation of poor and disadvantaged consumers. This article traces the contributions of Catholic Social Teaching and its basic principles toward providing insight into what constitutes "justice" in such "marketing to the impoverished" situations.

As a prolegomenon to understanding the sense in which dualities are theoretical equivalences, we investigate the intuitive `equivalence' of hyper-regular Lagrangian and Hamiltonian classical mechanics. We show that the symplectification of these theories provides a sense in which they are isomorphic, and mutually and canonically definable through an analog of `common definitional extension'.

The storage hypothesis—as described by Norby—is a descriptive thesis (for it yields systematic predictions of human behaviour across a wide range of situations) that has as a core commitment that degrees of belief are stable, persistent states. It is not clear to me that such a view is widely held in philosophy. If the storage hypothesis is not widely held, then arguments against it become less interesting. But is Norby’s argument against the view compelling in any case? I shall argue (...) that it is not. (shrink)

This paper defends the idea that there might be vagueness or indeterminacy in the world itself--as opposed to merely in our representations of the world--against the charges of incoherence and unintelligibility. First we consider the idea that the world might contain vague properties and relations ; we show that this idea is already implied by certain well-understood views concerning the semantics of vague predicates (most notably the fuzzy view). Next we consider the idea that the world might contain vague objects (...) ; we argue that an object is indeterminate in a certain respect (colour, size, etc.) just in case it is a borderline case of a maximally specific colour (size, etc.) property. Finally we consider the idea that the world as a whole might be indeterminate; we argue that the world is indeterminate just in case it lacks a determinate division into determinate objects. (shrink)

Contains exercises and solutions to accompany Logic: The Laws of Truth by Nicholas J. J. Smith (Princeton University Press, 2012).

I have argued for a picture of decision theory centred on the principle of Rationally Negligible Probabilities. Isaacs argues against this picture on the grounds that it has an untenable implication. I first examine whether my view really has this implication; this involves a discussion of the legitimacy or otherwise of infinite decisions. I then examine whether the implication is really undesirable and conclude that it is not.

In a warm and enjoyable dialogue the meaning of health, in its fullest sense, becomes a philosophical issue as much as a biological. For isn't the essence of health a general sense of well-being? Health can be seen as reflecting satisfaction with our quality of life; but how do we achieve that? Here, a character who is heading off for a job teaching health has an extended conversation with a trusted mentor, and they test various definitions, various visions, and some (...) of the infinite possibilities of the idea of health, in the process coming to a deeper and more invigorating understanding of life itself. They arrive at the notion of symbiosis - a living together to the advantage of each. And isn't a good conversation a sort of living together to the advantage of each? In such dialogue, we engage with our hearts and minds. When are we more alive than that? What is the peak of health if not this life, this engagement? The two friends want to know what health is. But they want more: They want to be healthy. They see three basic types of health - bodily, mental, and societal. These three types affect one another. How they affect one another matters in a critical way. But there is more. A friendly conversation allows special access to what is critical. Our guard is down in such a conversation. We are less likely to be defensive. We are more likely to keep our minds open and clear. We are likely to feel the confidence it takes to learn. (shrink)

A philosophical treatment of the idea of authority, this book is a dialogue between three characters. "Director," a philosopher, challenges the others to think through their ideas of authority, how it is established, how it works, and how it can be either subtle or bold.

Killing the Arab Spring tells the stories of the Arab Spring uprising in 15 Middle East states, from the point of view of a secular Middle Eastern political analyst familiar with the politics, the culture of the people and the history of the area. Dr. Hasan views the vast majority of the Arab rulers deriving their absolute authority from inheritance or military coups, or in the case of the Saudis from conquest, not at the pleasure of the governed. Arab leaders (...) do not believe that government is a trust on behalf of the people. They believe that if there is democracy and their societies are composed of equal and competing individuals, there will be a tendency towards anarchy. People involved in the Arab Spring uprisings demanded inclusive and equitable democracy, social justice and economic development. There were no civil society institutions strong enough to challenge the weapons of authoritarianism that included ideology, repression, payoffs and the solidarity of the crony capitalists. The author argues that Saddam Hussein’s 1980 war on Iran was the spark that started a chain of bloody wars and events which eventually led to the US invasion of Iraq and the Arab Spring uprisings. The revolts and the counter revolts took different forms in each country based on its history, the type of government and the economy. The author argues that the Arab Spring is a step of a long process toward democracy rather than an aberration between periods of authoritarian regimes. To understand the Arab Spring causes and its aftermath, the book provides the reader with a review of the Middle East common culture that includes the history of Islamic religion, Islamic-sects and Arab tribalism, and brief history of each country. There are few activities more controversial than writing history of a nation involved in a conflict. Even while witnessing history unfolding in a country, different historians provide different narratives, different causes and different conclusions. This becomes more obvious when the history of the conflicts is viewed through the prism of the politics of sectarianism ethnicity and tribalism. The author strives for an objective view, but he does not hide his strong support to liberal democracy and human rights. (shrink)

Violence and reason are related, if only because violence is done to reason every single day. All it takes is to fail to listen. Everything else, all the real violence, starts right there, including tough talk in lieu of rational argument and the violence of not allowing us to think things through. In a virtual conversation with other thoughtful people, we can evaluate and refine our own positions, gaining clarity and confidence.

The notion of 'freedom' is essential to America's view of itself as a democratic and individual-based society. In this philosophical dialogue, characters assess the many facets, implications and apparent contradictions inherent in this deceptively complex idea. Seventy-nine short segments provide food for thought even in stolen moments of reading pleasure. The book sparkles with intellectually stimulating views. Drawing on the tradition of the Platonic dialogue, 'On Freedom' explores what freedom is and what it means through the discussions of two characters (...) (Director and Friend). Topics include Slavery, Responsibility, Anarchy, Wealth, Love, Courage, Authority, Inhibition, Happiness, Discipline, Vigilance. The characters arrive at no simple or absolute definition of freedom. But that doesn't mean they don't finish with a better idea of what freedom is than when they started. If anything, they come to appreciate the need for clarity about their subject. And they come to see that such clarity necessarily involves complexity. Readers with no philosophical training can enjoy this book, while readers with a philosophy background can enjoy the way it treats an old, familiar theme with a lighter touch. Families will value 'On Freedom' for enabling younger readers, too, to explore philosophic ideas of general interest and importance. (shrink)

It's Game Time!: Games to Enhance Classroom Learning enables the teacher to decide when and how to use games to effectively complement their teaching philosophy and style to meet the needs of their students by providing over 40 games that can be used in any class at any level.

This article uncovers a foundational relationship between the ‘gauge symmetry’ of a Newton-Cartan theory and the celebrated Trautman Recovery Theorem and explores its implications for recent philosophical work on Newton-Cartan gravitation.

Orthodoxy has it that mereological composition can never be a vague matter, for if it were, then existence would sometimes be a vague matter too, and that's impossible. I accept that vague composition implies vague existence, but deny that either is impossible. In this paper I develop degree-theoretic versions of quantified modal logic and of mereology, and combine them in a framework that allows us to make clear sense of vague composition and vague existence, and the relationships between them.

In formal modelling, it is essential that models be supplied with an interpretative story: there must be a clear and coherent account of how the formal model relates to the phenomena it is supposed to model. The traditional representation of degrees of belief as mathematical probabilities comes with a clear and simple interpretative story. This paper argues that the model of degrees of belief as imprecise probabilities (sets of probabilities) lacks a workable interpretation. The standard interpretative story given in the (...) literature is shown to lead to unacceptable results -- and, it is argued, there is no way for imprecise probabilists to restrict, replace or finesse this story so as either to avoid or to be able to live with the consequences. Thus the imprecise probabilist lacks a viable account of how a set of probability functions models a belief state: a story about which properties of the model correspond to facts about the thing modelled and how exactly we are to extract information about an agent's belief state from a set of probabilities. (shrink)

It is part of information theory folklore that, while quantum theory prohibits the generic cloning of states, such cloning is allowed by classical information theory. Indeed, many take the phenomenon of no-cloning to be one of the features that distinguishes quantum mechanics from classical mechanics. In this paper, we use symplectic geometry to argue that pace conventional wisdom, in the case where one does not include a machine system, there is an analog of the no-cloning theorem for classical systems. However, (...) upon adjoining a non-trivial machine system one finds that, pace the quantum case, the obstruction to cloning disappears for pure states. We then discuss the difference between this result and the quantum case, and show that it can be explained in terms of the rigidity of the theories' respective geometries. Finally, we discuss the relationship between this result and classical no-cloning arguments in the context of symmetric monoidal categories and statistical classical mechanics. (shrink)

From Fine and Kamp in the 70’s—through Osherson and Smith in the 80’s, Williamson, Kamp and Partee in the 90’s and Keefe in the 00’s—up to Sauerland in the present decade, the objection continues to be run that fuzzy logic based theories of vagueness are incompatible with ordinary usage of compound propositions in the presence of borderline cases. These arguments against fuzzy theories have been rebutted several times but evidently not put to rest. I attempt to do so in this (...) paper. (shrink)

One of the most striking differences between Frege's Begriffsschrift (logical system) and standard contemporary systems of logic is the inclusion in the former of the judgement stroke: a symbol which marks those propositions which are being asserted , that is, which are being used to express judgements . There has been considerable controversy regarding both the exact purpose of the judgement stroke, and whether a system of logic should include such a symbol. This paper explains the intended role of the (...) judgement stroke in a way that renders it readily comprehensible why Frege insisted that this symbol was an essential part of his logical system. The key point here is that Frege viewed logic as the study of inference relations amongst acts of judgement , rather than – as in the typical contemporary view – of consequence relations amongst certain objects (propositions or well-formed formulae). The paper also explains why Frege's use of the judgement stroke is not in conflict with his avowed anti-psychologism, and why Wittgenstein's criticism of the judgement stroke as 'logically quite meaningless' is unfounded. The key point here is that while the judgement stroke has no content , its use in logic and mathematics is subject to a very stringent norm of assertion. (shrink)